Annotations numériques en phase d’exécution
نویسندگان
چکیده
منابع مشابه
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...
متن کاملDossiers numériques confidentiels et répartis
Companies and organisations produce, use and up-date digital records. We address in this paper the problem of sharing confidential digital records in-between autonomous partners. We propose a solution based on a hierarchy of servers and on XML messages following the Dublin Core recommandation. A prototype system for medical records exchange is presented. MOTS-CLÉS : dossier numérique, partage, ...
متن کاملLa plasticité des documents numériques
This article presents the notion of plasticity for digital documents. We study the multiple manners to present an electronic document, in order to personalize it according to the form and to the content. This adaptation of the document can be made according to several criteria of personalization. We are interested more particularly in the methods of adaptation for the documents according to the...
متن کاملTaking architecture and compiler into account in formal proofs of numerical programs. (Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur)
On some recently developed architectures, a numerical program may give different answersdepending on the execution hardware and the compilation. These discrepancies of the resultscome from the fact that each floating-point computation is calculated with different precisions.The goal of this thesis is to formally prove properties about numerical programs while takingthe architect...
متن کاملCritique du rapport signal à bruit en communications numériques -- Questioning the signal to noise ratio in digital communications
RÉSUMÉ. On démontre que le rapport signal à bruit, si important en théorie de l'information, devient sans objet pour des communications numériques où la démodulation s'effectue selon des techniques nouvelles d'estimation rapide. Calcul opérationnel, algèbre différentielle, algèbre non commutative et analyse non standard sont les principaux outils mathématiques. ABSTRACT. The signal to noise rat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SHS Web of Conferences
سال: 2020
ISSN: 2261-2424
DOI: 10.1051/shsconf/20208203003